142 research outputs found
Cambrian triangulations and their tropical realizations
This paper develops a Cambrian extension of the work of C. Ceballos, A.
Padrol and C. Sarmiento on -Tamari lattices and their tropical
realizations. For any signature , we consider a
family of -trees in bijection with the triangulations of the
-polygon. These -trees define a flag regular
triangulation of the subpolytope of the product of simplices . The oriented
dual graph of the triangulation is the Hasse diagram
of the (type ) -Cambrian lattice of N. Reading. For any
and , we consider the restriction
of the triangulation
to the face . Its dual graph is naturally interpreted as the increasing
flip graph on certain -trees, which is shown
to be a lattice generalizing in particular the -Tamari lattices in the
Cambrian setting. Finally, we present an alternative geometric realization of
as a polyhedral complex induced
by a tropical hyperplane arrangement.Comment: 16 pages, 11 figure
Which nestohedra are removahedra?
A removahedron is a polytope obtained by deleting inequalities from the facet
description of the classical permutahedron. Relevant examples range from the
associahedra to the permutahedron itself, which raises the natural question to
characterize which nestohedra can be realized as removahedra. In this note, we
show that the nested complex of any connected building set closed under
intersection can be realized as a removahedron. We present two different
complementary proofs: one based on the building trees and the nested fan, and
the other based on Minkowski sums of dilated faces of the standard simplex. In
general, this closure condition is sufficient but not necessary to obtain
removahedra. However, we show that it is also necessary to obtain removahedra
from graphical building sets, and that it is equivalent to the corresponding
graph being chordful (i.e. any cycle induces a clique).Comment: 13 pages, 4 figures; Version 2: new Remark 2
The greedy flip tree of a subword complex
We describe a canonical spanning tree of the ridge graph of a subword complex
on a finite Coxeter group. It is based on properties of greedy facets in
subword complexes, defined and studied in this paper. Searching this tree
yields an enumeration scheme for the facets of the subword complex. This
algorithm extends the greedy flip algorithm for pointed pseudotriangulations of
points or convex bodies in the plane.Comment: 14 pages, 10 figures; various corrections (in particular deletion of
Section 4 which contained a serious mistake pointed out by an anonymous
referee). This paper is subsumed by our joint results with Christian Stump on
"EL-labelings and canonical spanning trees for subword complexes"
(http://arxiv.org/abs/1210.1435) and will therefore not be publishe
Brick polytopes, lattice quotients, and Hopf algebras
This paper is motivated by the interplay between the Tamari lattice, J.-L.
Loday's realization of the associahedron, and J.-L. Loday and M. Ronco's Hopf
algebra on binary trees. We show that these constructions extend in the world
of acyclic -triangulations, which were already considered as the vertices of
V. Pilaud and F. Santos' brick polytopes. We describe combinatorially a natural
surjection from the permutations to the acyclic -triangulations. We show
that the fibers of this surjection are the classes of the congruence
on defined as the transitive closure of the rewriting rule for letters
and words on . We then
show that the increasing flip order on -triangulations is the lattice
quotient of the weak order by this congruence. Moreover, we use this surjection
to define a Hopf subalgebra of C. Malvenuto and C. Reutenauer's Hopf algebra on
permutations, indexed by acyclic -triangulations, and to describe the
product and coproduct in this algebra and its dual in term of combinatorial
operations on acyclic -triangulations. Finally, we extend our results in
three directions, describing a Cambrian, a tuple, and a Schr\"oder version of
these constructions.Comment: 59 pages, 32 figure
Geometric realizations of the accordion complex of a dissection
Consider points on the unit circle and a reference dissection
of the convex hull of the odd points. The accordion complex
of is the simplicial complex of non-crossing subsets of the
diagonals with even endpoints that cross a connected subset of diagonals of
. In particular, this complex is an associahedron when
is a triangulation and a Stokes complex when
is a quadrangulation. In this paper, we provide geometric
realizations (by polytopes and fans) of the accordion complex of any reference
dissection , generalizing known constructions arising from
cluster algebras.Comment: 25 pages, 10 figures; Version 3: minor correction
The brick polytope of a sorting network
The associahedron is a polytope whose graph is the graph of flips on
triangulations of a convex polygon. Pseudotriangulations and
multitriangulations generalize triangulations in two different ways, which have
been unified by Pilaud and Pocchiola in their study of flip graphs on
pseudoline arrangements with contacts supported by a given sorting network.
In this paper, we construct the brick polytope of a sorting network, obtained
as the convex hull of the brick vectors associated to each pseudoline
arrangement supported by the network. We combinatorially characterize the
vertices of this polytope, describe its faces, and decompose it as a Minkowski
sum of matroid polytopes.
Our brick polytopes include Hohlweg and Lange's many realizations of the
associahedron, which arise as brick polytopes for certain well-chosen sorting
networks. We furthermore discuss the brick polytopes of sorting networks
supporting pseudoline arrangements which correspond to multitriangulations of
convex polygons: our polytopes only realize subgraphs of the flip graphs on
multitriangulations and they cannot appear as projections of a hypothetical
multiassociahedron.Comment: 36 pages, 25 figures; Version 2 refers to the recent generalization
of our results to spherical subword complexes on finite Coxeter groups
(http://arxiv.org/abs/1111.3349
The weak order on Weyl posets
We define a natural lattice structure on all subsets of a finite root system
that extends the weak order on the elements of the corresponding Coxeter group.
For crystallographic root systems, we show that the subposet of this lattice
induced by antisymmetric closed subsets of roots is again a lattice. We then
study further subposets of this lattice which naturally correspond to the
elements, the intervals and the faces of the permutahedron and the generalized
associahedra of the corresponding Weyl group. These results extend to arbitrary
finite crystallographic root systems the recent results of G. Chatel, V. Pilaud
and V. Pons on the weak order on posets and its induced subposets.Comment: 23 pages, 5 figure
Graph properties of graph associahedra
A graph associahedron is a simple polytope whose face lattice encodes the
nested structure of the connected subgraphs of a given graph. In this paper, we
study certain graph properties of the 1-skeleta of graph associahedra, such as
their diameter and their Hamiltonicity. Our results extend known results for
the classical associahedra (path associahedra) and permutahedra (complete graph
associahedra). We also discuss partial extensions to the family of nestohedra.Comment: 26 pages, 20 figures. Version 2: final version with minor correction
Compatibility fans for graphical nested complexes
Graph associahedra are natural generalizations of the classical associahedra.
They provide polytopal realizations of the nested complex of a graph ,
defined as the simplicial complex whose vertices are the tubes (i.e. connected
induced subgraphs) of and whose faces are the tubings (i.e. collections of
pairwise nested or non-adjacent tubes) of . The constructions of M. Carr and
S. Devadoss, of A. Postnikov, and of A. Zelevinsky for graph associahedra are
all based on the nested fan which coarsens the normal fan of the permutahedron.
In view of the combinatorial and geometric variety of simplicial fan
realizations of the classical associahedra, it is tempting to search for
alternative fans realizing graphical nested complexes.
Motivated by the analogy between finite type cluster complexes and graphical
nested complexes, we transpose in this paper S. Fomin and A. Zelevinsky's
construction of compatibility fans from the former to the latter setting. For
this, we define a compatibility degree between two tubes of a graph . Our
main result asserts that the compatibility vectors of all tubes of with
respect to an arbitrary maximal tubing on support a complete simplicial fan
realizing the nested complex of . In particular, when the graph is
reduced to a path, our compatibility degree lies in and we recover
F. Santos' Catalan many simplicial fan realizations of the associahedron.Comment: 51 pages, 30 figures; Version 3: corrected proof of Theorem 2
Enumerating topological -configurations
An -configuration is a set of points and lines in the
projective plane such that their point-line incidence graph is -regular. The
configuration is geometric, topological, or combinatorial depending on whether
lines are considered to be straight lines, pseudolines, or just combinatorial
lines. We provide an algorithm for generating, for given and , all
topological -configurations up to combinatorial isomorphism, without
enumerating first all combinatorial -configurations. We apply this
algorithm to confirm efficiently a former result on topological
-configurations, from which we obtain a new geometric
-configuration. Preliminary results on -configurations are also
briefly reported.Comment: 18 pages, 11 figure
- …